Recent Results on the Algebraic Approach to the CSP
نویسندگان
چکیده
We describe an algebraic approach to the constraint satisfaction problem (CSP) and present recent results on the CSP that make use of, in an essential way, this algebraic framework.
منابع مشابه
Recent Developments in Discrete Event Systems
This article is a brief exposure of the process approach to a newly emerging area called "discrete event systems" in control theory and summarizes some of the recent developments in this area. Discrete event systems is an area of research that is developing within the interstices of computer, control and communication sciences. The basic direction of research addresses issues in the analysis an...
متن کاملAn institution for processes and data
Csp-Casl [7] is a comprehensive specification language which combines processes written in the process algebra Csp [2, 8] with the specification of data types formulated in algebraic specification language Casl [5]. Recent developments on Csp-Casl cover tool support [6] as well as testing from Csp-Casl specifications [3]. In this talk we address the question of how to formulate Csp-Casl as an i...
متن کاملA Novel Reference Current Calculation Method for Shunt Active Power Filters using a Recursive Algebraic Approach
This paper presents a novel method to calculate the reference source current and the referencecompensating current for shunt active power filters (SAPFs). This method first calculates theamplitude and phase of the fundamental load current from a recursive algebraic approach blockbefore calculating the displacement power factor. Next, the amplitude of the reference mains currentis computed with ...
متن کاملON PROVING PROPERTIES OF CONCURRENT ALGORITHMS FOR DISTRIBUTED CSPs
Because of social, economical and technical reasons, some years ago the classical CSP model has been extended to the model of Distributed Constraint Satisfaction Problems (DCSPs) in which several computational agents try to solve a connected CSP collectively. Many recent systems tackling this problem lack a theoretically founded specification and safety or liveness property proofs. This may be ...
متن کاملThe Effect of Coriander Seed Powder Consumption on Atherosclerotic and Cardioprotective Indices of Type 2 Diabetic Patients
Objective: The purpose of this study was to investigate the effect of coriander seed powder (CSP) on the atherosclerotic and cardioprotective indices in type 2 diabetic patients. Materials and Methods: In this study, fifty type 2 diabetic patients consumed 2 capsules of the CSP /day for a period of 6weeks. Blood samples were collected from the patients before and after the course of CSP consu...
متن کامل